Nuprl Definition : case_pair
2,24
postcript
pdf
<
x
,
y
> =>
body
(
x
;
y
)(
value
,
cont
) ==
value
/
x
,
y
.
body
(
x
;
y
)
latex
FDL editor aliases
case_pair
origin